The logic of essentially ordered causes.

A Study on the Causes of Corruption Control at the Macro Level Based on Fuzzy Logic

Corruption as one of the realities of today's society has had unprecedented growth in the administrative, political and economic systems of the world and according to the International Transparency Institute, no region or country in the world is immune to corruption. In this article, with theoretical speculations, we are looking for a comparative study of the necessary and sufficient conditions...

Ordered Algebras and Logic

Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and MV-algebras have long played a decisive role in logic, although perhaps only in recent years has the significance of the relationship between the two fields begun to be fully recognized and exploited. The first aim of this survey article is to briefly trace the distinct historical roots of ordered algebras ...

An Ordered Logic Program Solver

We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended answer sets of a simple program using an intuitive 9-valued lattice, called T9. During the computation, this lattice is employed to keep track of the status of the literals and the rules while evolving to a solution. ...

Logic Programs with Ordered Disjunction

Ordered Resolution for Coalition Logic

In this paper we introduce a calculus based on ordered resolution for Coalition Logic (CL), improving our previous approach based on unrefined resolution, and discuss the problems associated with imposing an ordering refinement in the context of CL. The calculus operates on ‘coalition problems’, a normal form for CL where we use coalition vectors that can represent choices made by agents explic...